Found 1 query results that match Formality 2010

  • Synopsys Formality 2010.03 Linux

    Formality® is an equivalence-checking (EC) solution that uses formal, static techniques to determine if two versions of a design are functionally equivalent. The size and complexity of today’s designs, coupled with the challenges of meeting timing, area, power and schedule, requires that the newe.....
    Language : english Authorization: Retail Freshtime：2010-04-04 Size: 66MB